Manuel Somoza's Documents

Manuel Somoza's Documents

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August
Read more
Deconstructing Olduvai: A Taphonomic Study of the Bed I Sites (Vertebrate Paleobiology and Paleoanthropology)

Deconstructing Olduvai: A Taphonomic Study of the Bed I Sites (Vertebrate Paleobiology and Paleoanthropology)
Read more
Muslims in Spain and Islamic Religious Radicalism

Muslims in Spain and Islamic Religious Radicalism
Read more
Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification
Read more
Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)

Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)
Read more
Marketing von Solutions

Marketing von Solutions
Read more
A Place to Be: Brazilian, Guatemalan, and Mexican Immigrants in Florida's New Destinations

A Place to Be: Brazilian, Guatemalan, and Mexican Immigrants in Florida's New Destinations
Read more
Rare Diseases Epidemiology

Rare Diseases Epidemiology
Read more
Allelopathy: A Physiological Process with Ecological Implications

Allelopathy: A Physiological Process with Ecological Implications
Read more
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)
Read more
Applied General Equilibrium: An Introduction

Applied General Equilibrium: An Introduction
Read more
Special Sciences and the Unity of Science

Special Sciences and the Unity of Science
Read more
A Nonlinear Transfer Technique for Renorming

A Nonlinear Transfer Technique for Renorming
Read more
Methods to Study Litter Decomposition: A Practical Guide

Methods to Study Litter Decomposition: A Practical Guide
Read more
Analisis multivariado. Un manual para investigadores

Analisis multivariado. Un manual para investigadores
Read more
The Influence of Genetics on Contemporary Thinking

The Influence of Genetics on Contemporary Thinking
Read more
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002
Read more
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Read more
Mobile Communication and Society: A Global Perspective

Mobile Communication and Society: A Global Perspective
Read more
All about Maude.. a high-performance logical framework

All about Maude.. a high-performance logical framework
Read more
Orthogonal Polynomials and their Applications

Orthogonal Polynomials and their Applications
Read more
The Sun, Solar Analogs and the Climate: Saas-Fee Advanced Course 34, 2004. Swiss Society for Astrophysics and Astronomy

The Sun, Solar Analogs and the Climate: Saas-Fee Advanced Course 34, 2004. Swiss Society for Astrophysics and Astronomy
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Read more
Analysis and Design of Quadrature Oscillators (Analog Circuits and Signal Processing)

Analysis and Design of Quadrature Oscillators (Analog Circuits and Signal Processing)
Read more
Biodental Engineering

Biodental Engineering
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Read more
Marine Ecosystems and Global Change

Marine Ecosystems and Global Change
Read more
Foundations of Reasoning under Uncertainty (Studies in Fuzziness and Soft Computing)

Foundations of Reasoning under Uncertainty (Studies in Fuzziness and Soft Computing)
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Read more
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (Lecture Notes in Computer Science)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (Lecture Notes in Computer Science)
Read more